<?php
function username($userID)
{
$nick = mysql_fetch_array(safe_query("SELECT * FROM user WHERE userID='".$userID."'"));
return $nick['username'];
}
function cut($headline, $max)
{
	if(mb_strlen($headline)>$max) {
		$headline=mb_substr($headline, 0, $max);
		$headline.='...';
	}
			return $headline;
}


?>